vscode unable to write into user settings